$\forall$$R$:Realizer. R{-}Feasible($R$) $\Leftrightarrow$ ($\exists$${\it es}$:ES. Possible($R$;${\it es}$))